Search results for "Low-level programming language"

showing 5 items of 5 documents

Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language

2002

AbstractThe traditional split into a low level language and a high level language in the design of computer algebra systems may become obsolete with the advent of more versatile computer languages. We describe GiNaC, a special-purpose system that deliberately denies the need for such a distinction. It is entirely written in C++and the user can interact with it directly in that language. It was designed to provide efficient handling of multivariate polynomials, algebras and special functions that are needed for loop calculations in theoretical quantum field theory. It also bears some potential to become a more general purpose symbolic package.

Computer Science - Symbolic ComputationI.1.3FOS: Computer and information sciencesFor loopTheoretical computer scienceAlgebra and Number TheoryFOS: Physical sciencesI.1.1; I.1.3Symbolic Computation (cs.SC)Computational Physics (physics.comp-ph)Symbolic computationI.1.1High Energy Physics - PhenomenologyComputational MathematicsHigh Energy Physics - Phenomenology (hep-ph)General purposeHigh-level programming languageSpecial functionsFourth-generation programming languagePhysics - Computational PhysicsC programming languageLow-level programming languageMathematicsJournal of Symbolic Computation
researchProduct

Low Level Languages for the PAPIA Machine

1986

The paper presents the low-level languages implemented up to date to program the PAPIA machine. The parallel assembly-level P-MAGRO package, the microcode level instruction set and a machine simulating environment are described.

PAPIA Language Architecture SIMD Processor Parallel-CScalar processorComputer scienceVirtual machineProgramming languageSimd processorParallel computingArchitecturePyramid algorithmcomputer.software_genreLow-level programming languagecomputer
researchProduct

Another defence of enumerated types

1991

I claim that enumerations, while of course not strictly necessary, are an elegant and useful facility in modern programming languages. I try to show that arguments recently given against them are weak at best and bogus a t worst, for general-purpose programming. Some related issues on types in programming languages are touched as well. These make it even more questionable whether Oberon marks progress or regress in language design.

Symbolic programmingEnumerated typeProgramming languageComputer scienceComparison of multi-paradigm programming languagesNatural language programmingSecond-generation programming languageProgramming language generationscomputer.software_genreComputer Graphics and Computer-Aided DesignVery high-level programming languageThird-generation programming languageLanguage primitiveHigh-level programming languageProgramming language specificationProgramming paradigmFourth-generation programming languageFifth-generation programming languagecomputerLow-level programming languageSoftwareProgramming language theoryACM SIGPLAN Notices
researchProduct

LanguageLab - A Meta-modelling Environment

2015

In the LanguageLab language workbench, we build on a component-based approach to language specification that facilitates the specification of all aspects of a computer language in a consistent manner, taking into account best practices in meta-modelling and language design. The workbench allows operation on a suitable abstraction level, and also focuses on user-friendliness and a low threshold to getting started, in order to make it useful for teaching of meta-modelling and language design and specification. The platform is open for third party language modules and facilitates rapid prototyping of DSLs, re-use of language modules, and experiments with multiple concrete syntaxes. The platfor…

Universal Networking LanguageHigh-level programming languageComputer scienceProgramming languageModeling languageProgramming language specificationData control languageSpecification languageInterface description languagecomputer.software_genreLow-level programming languagecomputer
researchProduct

Rigal — a programming language for compiler writing

2005

A new programming language for compiler writing is described. The main data structures are atoms, lists and trees. The control structures are based on advanced pattern matching. All phases of compilation, including parsing, optimization and code generation, can be programmed in this language in short and readable form. Sample compiler written in RIGAL is presented.

business.industryProgramming languageComputer scienceDynamic compilationcomputer.software_genreFunctional compilerCompiler constructionHigh-level programming languageArtificial intelligenceCompilerFirst-generation programming languagebusinesscomputerLow-level programming languageNatural language processingCompile time
researchProduct